integral sqrt(1 - x^2) dx